Human resource constraints driven virtual workflow specification
نویسندگان
چکیده
A virtual workflow specification is a formal description of business process in the real world and whose execution is done in a virtual organisation. Workflows are activities that involve the coordinated execution of multy tasks performed by different processing entities. Among the processing entities are human resources. These latter belong to an organisation or in a virtual organisation and are bound by strict constraints. Defining a correct execution of a workflow is very complex and error-prone, specially when dealing with human resources. Only a few works have addressed this problem and proposed some approaches for the verification of the correct execution of a workflow. These works do not tackel, in our known, the human resource issue. In this paper, we first identify the resource constraints in a workflow spacification. Then we prove an innovative approach to the checking of the human resource consistency in the virtual workflow specification. The formal description is done in the Raise Specification Language (RSL). The work reported in this paper provides a theoritical foundation for virtual workflow modeling and analysis in virtual workflow management.
منابع مشابه
Resource constraints analysis of workflow specifications
A workflow specification is a formal description of business processes in the real world. Its correctness is critical to the workflow execution and hence the realisation of business objectives. In addition to structural and temporal constraints, resource constraints are also implied in workflow specifications. Therefore, they should be analysed to ensure that the workflow specification is resou...
متن کاملSupporting the Evolution of Workflow Patterns for Virtual Communities
Virtual communities that make use of network information systems (NIS) have a need for specification support that agrees with their communal character. System specification changes must be acceptable to all members for a community to thrive. We concentrate on the specification of workflowenabling communication tools rather than information tools that support a single user. In a previous paper, ...
متن کاملSpecification of Cooperative Constraints in Virtual Enterprise Workflow
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, workflow applications are processes which automate and regulate the movement and execution of a number of work, across one or more servers, according to business defined rules and routes. Lacking in the current workflow...
متن کاملAn architecture for workflow scheduling under resource allocation constraints
Research on specification and scheduling of workflows has concentrated on temporal and causality constraints, which specify existence and order dependencies among tasks. However, another set of constraints that specify resource allocation is also equally important. The resources in a workflow environment are agents such as person, machine, software, etc. that execute the task. Execution of a ta...
متن کاملWorkflow Soundness Verification based on Structure Theory of Petri Nets
Modern workflow management systems have to support tasks with complex dependency constraints and to cope with resource allocation problem. Therefore the need for analysis method to verify the correctness of workflow specification is becoming crucial. This paper exploits recent advances of structure theory of Petri nets to find efficient structural characterization of the basic soundness propert...
متن کامل